IEEE TRANS . ON CAD 1 RAGS : Real - analysis , ALAP Guided

Improving symbolic reachability analysis by means of activityprofiles

An analysis of system level power management algorithms and theireffects on latency

Analysis of power dissipation in embedded systems using real-time operating systems

The increasing complexity and software content of embedded systems has led to the frequent use of system software to help applications access hardware resources easily and efficiently. In this paper, we present a method for detailed analysis of real-time operating system (RTOS) power consumption. RTOSs form an important component of the system software layer. Despite the widespread use of, and ...

Remembering Richard [Obituary, Richard A.Newton]

An efficient graph representation for arithmetic circuitverification